$\forall$$a$, $b$:$\mathbb{Q}$. q\_less($a$;$b$) $\in$ $\mathbb{B}$